-
1 predicate symbol
English-Russian big polytechnic dictionary > predicate symbol
-
2 predicate symbol
Большой англо-русский и русско-английский словарь > predicate symbol
-
3 predicate symbol
Механика: предикатный символ -
4 predicate symbol
-
5 predicate symbol
вчт предикативный символ -
6 predicate symbol
вчт. предикативный символThe New English-Russian Dictionary of Radio-electronics > predicate symbol
-
7 predicate symbol
-
8 predicate symbol
Англо-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > predicate symbol
-
9 predicate symbol
мат. -
10 predicate
предикат, высказывание, утверждать
– predicate calculus
– predicate calculus machinery
– predicate logic language
– predicate symbol
– predicted result
-
11 symbol
1) знак2) обозначение3) символ, символическое обозначение•- power residue symbol - symbol of unit - symbol of virtual intersection -
12 symbol
1) символа) знакб) условный знак; условное обозначение; графическое обозначениев) вчт идентификаторг) образ; отображениед) эмблема2) представлять в символической форме; применять символическую запись; использовать символ(ы); использоваться в качестве символа3) использовать условные знаки или условные обозначения; использоваться в качестве условного знака или условного обозначения•- abstract symbol
- active symbol
- additional symbol
- admissible symbol
- aiming symbol
- algebraic symbol
- alpha symbol
- alphabetic symbol
- alphanumeric symbol
- annotation symbol
- auxiliary symbol
- barred symbol
- basic symbol
- blinking symbol
- Boolean symbol
- built-up symbol
- cell alphabet symbol
- check symbol
- checking symbol
- Christoffel symbol
- command symbol
- composite symbol
- connector symbol
- control symbol
- decision symbol
- definable symbol
- delta symbol
- delta Kronecker symbol
- derivative symbol
- digital symbol
- diode symbols
- dollar sign symbol
- dotted symbol
- euro sign symbol
- external symbol
- flowchart symbol
- flowcharting symbol
- functional symbol
- fundamental symbol
- generalized symbol
- generating symbol
- graphical symbol
- grouping symbol
- Hermann-Mauguin symbols
- illegal symbol
- information symbol
- input/output symbol
- international crystallographic symbols
- Kronecker symbols
- Levi-Civita symbols
- literal symbol
- logic symbol
- match-all symbol
- math symbol
- mathematical symbol
- metalogic symbol
- mnemonic symbol
- nonadmissible symbol
- nonblinking symbol
- nonterminal symbol
- numeric symbol
- odd symbol
- operator symbol
- partial derivative symbol
- phonemic symbol
- phonematic symbol
- predefined process symbol
- predicate symbol
- processing symbol
- proofreader's symbol
- punctuation symbol
- schematic symbol
- Schoenflies symbols
- separation symbol
- shading symbol
- Shubnikov symbols
- special symbol
- standard symbol
- start/stop symbol
- suggestive symbol
- syntactical symbol
- terminal symbol
- terminating symbol
- transistor symbols
- undeclared symbol
- undefined symbol
- underscore symbol
- unit symbol
- variable symbol
- vector symbol
- wildcard symbol
- wire symbol
- δ symbols -
13 symbol
1) символа) знакб) условный знак; условное обозначение; графическое обозначениев) вчт. идентификаторг) образ; отображениед) эмблема2) представлять в символической форме; применять символическую запись; использовать символ(ы); использоваться в качестве символа3) использовать условные знаки или условные обозначения; использоваться в качестве условного знака или условного обозначения•- abstract symbol
- active symbol
- additional symbol
- admissible symbol
- aiming symbol
- algebraic symbol
- alpha symbol
- alphabetic symbol
- alphanumeric symbol
- annotation symbol
- auxiliary symbol
- barred symbol
- basic symbol
- blinking symbol
- Boolean symbol
- built-up symbol
- cell alphabet symbol
- check symbol
- checking symbol
- Christoffel symbol
- command symbol
- composite symbol
- connector symbol
- control symbol
- decision symbol
- definable symbol
- delta Kronecker symbol
- delta symbol
- derivative symbol
- digital symbol
- diode symbols
- dollar sign symbol
- dotted symbol
- euro sign symbol
- external symbol
- flowchart symbol
- flowcharting symbol
- functional symbol
- fundamental symbol
- generalized symbol
- generating symbol
- graphical symbol
- grouping symbol
- Hermann-Mauguin symbols
- illegal symbol
- information symbol
- input/output symbol
- international crystallographic symbols
- Kronecker symbols
- Levi-Civita symbols
- literal symbol
- logic symbol
- match-all symbol
- math symbol
- mathematical symbol
- metalogic symbol
- mnemonic symbol
- nonadmissible symbol
- nonblinking symbol
- nonterminal symbol
- numeric symbol
- odd symbol
- operator symbol
- partial derivative symbol
- phonematic symbol
- phonemic symbol
- predefined process symbol
- predicate symbol
- processing symbol
- proofreader's symbol
- punctuation symbol
- schematic symbol
- Schoenflies symbols
- separation symbol
- shading symbol
- Shubnikov symbols
- special symbol
- standard symbol
- start/stop symbol
- suggestive symbol
- symbol of operator
- syntactical symbol
- terminal symbol
- terminating symbol
- transistor symbols
- undeclared symbol
- undefined symbol
- underscore symbol
- unit symbol
- variable symbol
- vector symbol
- wildcard symbol
- wire symbolThe New English-Russian Dictionary of Radio-electronics > symbol
-
14 first-order logic
= first-order predicate calculusлогика [предикатов] первого порядкаформальная логическая система, используемая в математике, лингвистике и языках логического программирования. Основными синтаксическими элементами логики первого порядка являются символы, которые обозначают объекты (константные символы, constant symbol), отношения (предикатные символы, predicate symbol) и функции (функциональные символы, functional symbol).Syn:Англо-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > first-order logic
-
15 предикатный символ
Большой англо-русский и русско-английский словарь > предикатный символ
См. также в других словарях:
Predicate logic — In mathematical logic, predicate logic is the generic term for symbolic formal systems like first order logic, second order logic, many sorted logic or infinitary logic. This formal system is distinguished from other systems in that its formulas… … Wikipedia
Functional predicate — In formal logic and related branches of mathematics, a functional predicate, or function symbol, is a logical symbol that may be applied to an object term to produce another object term.Functional predicates are also sometimes called mappings ,… … Wikipedia
Monadic predicate calculus — In logic, the monadic predicate calculus is the fragment of predicate calculus in which all predicate letters are monadic (that is, they take only one argument), and there are no function letters. All atomic formulae have the form P(x), where P… … Wikipedia
Hard-core predicate — In cryptography, a hard core predicate of a one way function f is a predicate b (i.e., a function whose output is a single bit) which is easy to compute given x but is hard to compute given f(x) . In formal terms, there is no probabilistic… … Wikipedia
First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… … Wikipedia
Interpretation (logic) — An interpretation is an assignment of meaning to the symbols of a formal language. Many formal languages used in mathematics, logic, and theoretical computer science are defined in solely syntactic terms, and as such do not have any meaning until … Wikipedia
Principia Mathematica — For Isaac Newton s book containing basic laws of physics, see Philosophiæ Naturalis Principia Mathematica. The title page of the shortened version of the Principia Mathematica to *56. The Principia Mathematica is a three volume work on the… … Wikipedia
Ground expression — In mathematical logic, a ground term of a formal system is a term that does not contain any variables at all, and a closed term is a term that has no free variables. In first order logic all closed terms are ground terms, but in lambda calculus… … Wikipedia
Circumscription (logic) — Not to be confused with circumscribe. Circumscription is a non monotonic logic created by John McCarthy to formalize the common sense assumption that things are as expected unless otherwise specified. Circumscription was later used by McCarthy in … Wikipedia
Datalog — is a query and rule language for deductive databases that syntactically is a subset of Prolog. Its origins date back to the beginning of logic programming, but it became prominent as a separate area around 1977 when Hervé Gallaire and Jack Minker … Wikipedia
Finitary relation — This article sets out the set theoretic notion of relation. For a more elementary point of view, see Binary relation. For a combinatorial viewpoint, see Theory of relations. For other uses, see Relation (disambiguation). In set theory and logic,… … Wikipedia